Modeling Non-homogeneous Terminal Systems Using MOSEL
نویسندگان
چکیده
In this paper we consider a stochastic queueing model for the performance evaluation of a real life computer system consisting of n terminals connected with a CPU. A user at terminal i has thinking and processing times depending on index i. First we discuss reliable models, and then unreliable models (i.e. the CPU and the terminals are subject to random breakdowns). The models described here are not new, they were studied earlier by different authors. This paper gives a detailed implementation of the models using MOSEL (MOdeling Specification and Evaluation Language), developed at the University of Erlangen, and it is shown that MOSEL is well suited for modeling such systems. We give some numerical examples, where the most important performance measures (such as utilization, response times, mean queue length) are calculated, to see what is the difference between the results of MOSEL and the ones published earlier. In the appendices we publish the source codes of the MOSEL programs mentioned in this paper.
منابع مشابه
Modeling and Performance Evaluation of Production Lines Using the Modeling Language MOSEL
Modeling and performance evaluation of current production systems gains more and more importance because of growing system complexity and production costs. Therefore tools and methods are needed that allow a simple modeling and performance evaluation of systems. The goal of this paper is to give a short introduction into the speci cation of production systems using the model description languag...
متن کاملModeling Finite-Source Retrial Queueing Systems with Unreliable Heterogeneous Servers and Different Service Policies Using MOSEL
This paper deals with the performance analysis of multiple server retrial queueing systems with a finite number of homogeneous sources of calls, where the heterogeneous servers are subject to random breakdowns and repairs. The requests are serviced according to Random Selection and Fastest Free Server disciplines. The novelty of this investigation is the introduction of different service rates ...
متن کاملApplication Of MOSEL-2 Language In Performance And Modeling Of Cellular Wireless Networks
Today's cellular wireless networks must meet increasing challenges of handling a larger demand for service without a loss of quality, by maximizing the spectral efficiency of the network. Therefore, performance evaluation and modeling of cellular wireless networks is considered to be an important issue to overcome the problem of limited resources of the network. MOSEL-2 (MOdelling Specification...
متن کاملModelling a Single Gsm/gprs Cell with Delay Tolerant Voice Calls Using Mosel-2
In this paper we introduce the new version of the MOdelling, Specification and Evaluation Language – now called MOSEL-2 – and prove its applicability for performance modelling of mobile networks with nonMarkovian models. Like its predecessor MOSEL [Al-Begain et al, 2001], MOSEL-2 was developed at the Institute for Operating Systems at the University of Erlangen-Nürnberg. In contrast to many spe...
متن کاملComparing the Performance Modeling Environment MOSEL and the Probabilistic Model Checker PRISM for Modeling and Analyzing Retrial Queueing Systems
We describe the results of analyzing the performance model of a retrial queueing system with the probabilistic model checker PRISM. The system has been previously analyzed with the help of the performance modeling environment MOSEL; we are able to accurately reproduce the results reported in literature. Furthermore, we compare PRISM and MOSEL with respect to their modeling languages and ways of...
متن کامل